1 5 Ja n 19 93 All meager filters may be null
نویسندگان
چکیده
We show that it is consistent with ZFC that all filters which have the Baire property are Lebesgue measurable. We also show that the existence of a Sierpinski set implies that there exists a nonmeasurable filter which has the Baire property. The goal of this paper is to show yet another example of nonduality between measure and category. Suppose that F is a nonprincipal filter on ω. Identify F with the set of characteristic functions of its elements. Under this convention F becomes a subset of 2 and a question about its topological or measure-theoretical properties makes sense. It has been proved by Sierpinski that every non-principal filter has either Lebesgue measure zero or is nonmeasurable. Similarly it is either meager or does not have the Baire property. In [T] Talagrand proved that Theorem 0.1 There exists a measurable filter which does not have the Baire property. The author thanks the Lady Davis Fellowship Trust for full support Supported by the Israel Academy of Sciences (Basic Research Fund) Publication 434
منابع مشابه
On the structure of measurable filters on a countable set
A combinatorial characterization of measurable filters on a countable set is found. We apply it to the problem of measurability of the intersection of nonmeasurable filters. The goal of this paper is to characterize measurable filters on the set of natural numbers. In section 1 we introduce basic notions, in section 2 we find a combinatorial characterization of measurable filters, in section 3 ...
متن کاملEvery null - additive set is meager - additive †
§1. The basic definitions and the main theorem. 1. Definition. (1) We define addition on 2 as addition modulo 2 on each component, i.e., if x, y, z ∈ 2 and x+ y = z then for every n we have z(n) = x(n) + y(n) (mod 2). (2) For A,B ⊆ 2 and x ∈ 2 we set x + A = {x + y : y ∈ A}, and we define A + B similarly. (3) We denote the Lebesgue measure on 2 with μ. We say that X ⊆ 2 is null-additive if for ...
متن کاملStrongly meager sets and subsets of the plane
Let X ⊆ 2 . Consider the class of all Borel F ⊆ X × 2 with null vertical sections Fx, x ∈ X. We show that if for all such F and all null Z ⊆ X, ⋃ x∈Z Fx is null, then for all such F , ⋃ x∈X Fx 6= 2 . The theorem generalizes the fact that every Sierpiński set is strongly meager and was announced in [P]. A Sierpiński set is an uncountable subset of 2 which meets every null (i.e., measure zero) se...
متن کاملProducts of Special Sets of Real Numbers
We develop a machinery which translates results on algebraic sums of sets of reals into the corresponding results on their cartesian product. Some consequences are: (1) The product of meager/null-additive sets in the Cantor space is meager/nulladditive, respectively. (2) The product of a meager/null-additive set and a strong measure zero/strongly meager set in the Cantor space has strong measur...
متن کامل� 12 Lecture 12 - 17 ( Notes : K . Venkatram ) 12 . 1 Generalized Complex Structures and Topological Obstructions
Definition 19. A generalized complex structure (GCS) on E is an integrable orthogonal complex structure J : E E, i.e. a map s.t. → • �JA, JB� = �A,B� • L = Ker (J − i1) Note. 1. �JA,B� = �JA, JB� = −�A, JB�, and thus �J·, ·� is a symplectic struction on E compatible with �, �. 2. L is maximal isotropic and so is L, and thus E = L ⊕ L = L ⊕ L∗ and we get a Lie bialgebroid. 3. V must be even dime...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008